System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
111	Kimchi KVM Forum October 22, 2013 Edinburgh Add to Reading List Source URL: www.linux-kvm.org Language: English - Date: 2015-06-23 18:18:00 Red Hat Programming language implementation Virtualization Libvirt OVirt VM System software Software Virtual machines
112	BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-08 09:02:48 Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing
113	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
114	Delft University of Technology Software Engineering Research Group Technical Report Series Fusing a Transformation Language with an Open Compiler Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-03-31 08:21:05 Programming language implementation Transformation languages Program transformation ASF+SDF Meta Environment Compiler Principal component analysis Domain-specific language S0 Type system Computing Software engineering Programming language theory
115	Cloud Native Eric Brewer VP, Infrastructure May 20, 2015 XLDB Add to Reading List Source URL: www-conf.slac.stanford.edu Language: English - Date: 2015-05-20 16:15:39 Cluster computing Network management Programming language implementation Virtual machine Google App Engine OpenVMS PODS Load balancing Computing System software Concurrent computing
116	Produced by Psion Computers PLC Psion Technical Support Telephone: Fax: Add to Reading List Source URL: telcontar.net Language: English - Date: 2004-10-02 23:11:07 Symbian OS Personal digital assistants Open Programming Language Psion Menu bar Finder Rhon psion GUI widget Psion Series 3 Software System software Computing
117	ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language Add to Reading List Source URL: www.etsi.org Language: English - Date: 2015-06-01 09:05:08 Data types C++ Type theory Computer languages Procedural programming languages TTCN-3 TTCN Type system Subtype polymorphism Software engineering Computing Computer programming
118	A Type System for Components? Ornela Dardha1 1 Elena Giachino1 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 06:03:26 Mathematics Programming language theory Object-oriented programming Polymorphism Program analysis Type system Symbol Structure Subtype polymorphism Type theory Data types Software engineering
119	Provably Correct Peephole Optimizations with Alive Nuno P. Lopes Microsoft Research, UK David Menendez Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-04-28 14:36:09 Compiler construction Compilers Compiler optimizations C programming language LLVM Compiler Static single assignment form GNU Compiler Collection Type system Software Computing Programming language implementation
120	PICOBIT: A Compact Scheme System for Microcontrollers Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 15:00:00 Compiler Programming language implementation Bytecode Microcontroller Electronics Embedded system Software Computing Compiler construction

UPDATE